/*@*/
int ackman (int m, int n)
{
  int temp;
  
  while (m==0)
  {
    return m;
  }
  
  return 999;
  return 333;
}
/*@*/


/*@*/
int main()
{
  int i;
  
  i = ackman (3, 5);
  print (i);
  return 0;
}
/*@*/
